From Formal Methods to Software Components: Back to the Future?
نویسنده
چکیده
منابع مشابه
Formal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملThe Effect of Back Massage on Anxiety Components of Mothers With Preterm Infants
Introduction: Upon hospitalization of a premature infant immediately after giving birth, mothers would experience high levels of anxiety. One of the essential non-pharmacological interventions to control the anxiety is massage. The purpose of this study was to investigate the effect of massage on the anxiety of mothers with preterm infants. ...
متن کاملIdentifying the components of education and human capital development in the transition from the traditional university to the future university by mixed method
Undoubtedly, human beings are the center of development, and the role of education and higher education in the training and development of skilled human resources is unrivaled. Therefore, it is necessary for universities to respond to the current needs of the society with the correct understanding of the necessities and needs of the time and the optimal use of opportunities, and to become the c...
متن کاملProviding a conceptual model for entrepreneurial teacher-student training at Farhangian University
The purpose of this study was to design and develop a conceptual model of entrepreneurial teacher-student training at Farhangian University. To achieve the goal, the general qualitative research method was used. The study population included experts, top level managers and managers of the provincial campuses of Farhangian University, that 30 of them were selected as the sample by purposeful sam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016